byA. Diego S. Farias, L. Ranyer de A. Lopes, Benjamín Bedregal, Regivan H. N. Santiago
There are several variations of fuzzy Turing machines in the literature, many of these forms require a t-norm in order to establish their accepted language. This paper generalize the concept of non-deterministic fuzzy Turing machine - NTFM, replacing the t-norm operator for several aggregation functions, we establish the languages accepted by thesemachines, called fuzzy recursively enumerable languages or simply LFRE and show, among others results, which the class LFRE is closed to unions and... Topics: Turing machines, Fuzzy Turing machines, Fuzzy languages, Aggregation functions
byBents, David J.; Scullin, Vincent J.; Chang, Bei-Jiann; Johnson, Donald W.; Garcia, Christoher P.; Jakupca, Ian J
The closed-cycle hydrogen-oxygen PEM regenerative fuel cell (RFC) at the NASA Glenn Research Center has successfully demonstrated closed cycle operation at rated power for multiple charge-discharge cycles. During charge cycle the RFC has absorbed input electrical power simulating a solar day cycle ranging from zero to 15 kWe peak, and delivered steady 5 kWe output power for periods exceeding 8 hr. Orderly transitions from charge to discharge mode, and return to charging after full discharge,... Topics: TOPOLOGY, TURING MACHINES, MANIFOLDS (MATHEMATICS), COMPUTATION, PROVING, CLASSIFICATIONS
Viewgraphs on cost averaging techniques for robust control of flexible structural systems are presented. Topics covered include: modeling of parameterized systems; average cost analysis; reduction of parameterized systems; and static and dynamic controller synthesis. Topics: ECONOMIC ANALYSIS, ROBOTS, ECONOMICS, ECONOMY, POLICIES, THEOREM PROVING, TURING MACHINES,...
An investigation of the control of turbulent boundary layer flow over flexible and rigid surfaces downstream of a concave-convex geometry has been made. The concave-convex curvature induces centrifugal forces and a pressure gradient on the growth of the turbulent boundary layer. The favorable gradient is not sufficient to overcome the unfavorable; thus, the net effect is a destabilizing, of the flow into Gortler instabilities. This study shows that control of the turbulent boundary layer and... Topics: COMPUTER TECHNIQUES, COMPUTERS, ALGORITHMS, COMPUTER SYSTEMS PERFORMANCE, TURING MACHINES, ERROR...
byChiu, Y. T.; Chakrabarti, S.; Paresce, F.; Bowyer, S.; Aikin, A
High sensitivity and spatial resolution observations of the He(2)II-304 A emission line intensity in the Earth's nightglow have been carried out by the extreme ultraviolet telescope on the Apollo-Soyuz mission in July 1975. The data, obtained over a wide range of parameters, are compared with the predictions of a kinetic equilibrium model of plasmaspheric ion density. Excellent overall agreement observation and theory is found using as inputs a temperature model, solar flux, and H and O number... Topics: COMPUTER PROGRAMMING, OPERATING SYSTEMS (COMPUTERS), PROGRAM VERIFICATION (COMPUTERS), TURING...